external micrometer - German English Dictionary